substitution to reduce to constant coefficients